Sitzung vom 13. April 1896

Bericht vom 13. SEUH-Workshop in Aachen

Ende Februar 2015 wird der 14. SEUH Workshop durchgeführt werden.

FG TAV: Bericht und Beiträge vom Fachgruppentreffen vom 12. und 13. Februar 2009 in Dortmund

Die Qualitätssicherung von Software avanciert immer mehr zu einer Kerndisziplin der Softwaretechnik. Dies bedeutet gleichzeitig, dass die Qualitätssicherungstechniken mit der fortschreitenden Weiterentwicklung entsprechender Spezifikationstechniken und Entwicklungssowie Einsatzplattformen Schritt halten müssen. Das 28. Treffen der Fachgruppe TAV der Gesellschaft für Informatik (GI) am Donnersta...

of April 13 , 2017 . This

of April 13 , 2017 . This

Lecture 12 : April 13 , 2017

Last Time During the last lecture we completed an argument for a 2 1 d−1 ) lower bound for depth-d circuits for parity (PAR) using Hastad’s Switching Lemma [H̊as87], which stated that, for f : {0, 1} → {−1, 1}, if CNFwidth(f) = t, Pρ←Rp(DNFwidth(f ρ) = s) ≥ (7ps) We proved the Weak Switching Lemma, asserting a (40ps2) lower bound for this probability as opposed to the tighter bound given by the ...